Logic optimization - PDFSEARCH.IO - Document Search Engine

Logic optimization
Results: 335

#	Item
21	This article has been accepted for inclusion in a future issue of this journal. Content is final as presented, with the exception of pagination. IEEE TRANSACTIONS ON POWER SYSTEMS 1 Phase Balancing Using Energy Storage Add to Reading List Source URL: www.comm.utoronto.ca Language: English - Date: 2016-02-29 23:17:52 Mathematics Combinatorics Discrete mathematics Algorithm Mathematical logic Theoretical computer science Greedy algorithm Program optimization Electric power quality Mathematical optimization
22	Modeling Mutual Capabilities in Heterogeneous Teams for Role Assignment Somchaya Liemhetcharat and Manuela Veloso School of Computer Science, Carnegie Mellon University, Pittsburgh, PA 15213, USA and velos Add to Reading List Source URL: somchaya.org Language: English - Date: 2014-05-05 11:44:08 Systems science Science Philosophy Algorithm Mathematical logic Theoretical computer science Expected value Team Mathematical optimization Robotics Robot Agent-based model
23	Fluxplayer: A Successful General Game Player Stephan Schiffel and Michael Thielscher Department of Computer Science Dresden University of Technology {stephan.schiffel,mit}@inf.tu-dresden.de Add to Reading List Source URL: ggp.stanford.edu Language: English - Date: 2009-04-21 15:13:54 Game artificial intelligence Mathematics Gaming Mathematical logic Eval Mathematical optimization Game Description Language Function FO Computer chess
24	CS264: Beyond Worst-Case Analysis Lecture #2: Instance-Optimal Geometric Algorithms∗ Tim Roughgarden† September 24, Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2014-10-03 12:51:27 Mathematics Applied mathematics Computer science Algorithms Mathematical logic Theoretical computer science Merge sort Combinatorial optimization Asymptotically optimal algorithm Elliptic curve primality
25	Leveraging Algorithms for DATA-POP ALLIANCE Positive Disruption: Add to Reading List Source URL: datapopalliance.org Language: English - Date: 2016-08-01 11:42:29 Machine learning Cybernetics Algorithm Mathematical logic Theoretical computer science Big data Recommender system Statistical classification Program optimization
26	[To Appear in the SIGGRAPH 94 Conference Proceedings] TBAG: A High Level Framework for Interactive, Animated 3D Graphics Applications Conal Elliott, Greg Schechter, Ricky Yeung, and Salim Abi-Ezzi SunSoft, Inc. * Add to Reading List Source URL: conal.net Language: English - Date: 2006-01-18 15:03:30 Operations research Classical mechanics Constraint satisfaction Energy minimization Mathematical optimization Derivative Control theory Constraint programming Constraint Generalizations of the derivative Loop quantum gravity Constraint logic programming
27	Combinatorial Optimization Solutions for the Maximum Quartet Consistency Problem Ant´ onio Morgado and Joao Marques-Silva School of Electronics and Computer Science, University of Southampton, UK ,jpms@e Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2008-12-04 03:04:56 Operations research Mathematical optimization Constraint programming Logic in computer science NP-complete problems Topology Satisfiability modulo theories Dynamic programming Semidefinite programming
28	BOOKS ABOUT BAASE VAN GELDER COMPUTER ALGORITHMS SOLUTIONS Cityhalllosangeles.com BAASE VAN GELDER COMPUT... Add to Reading List Source URL: b.cityhalllosangeles.com Language: English - Date: 2015-03-05 01:30:27 Algorithm Mathematical logic Theoretical computer science Van Gelder Gelder Dive computer Computer Mathematical optimization
29	M IDDLESEX A LGORITHMS DAY (MAD! 2014) Foundations of Computing Group, Department of Computer Science, School of Science and Technology, Middlesex University, London Add to Reading List Source URL: www.cs.mdx.ac.uk Language: English - Date: 2014-03-14 02:26:32 Theoretical computer science Combinatorial optimization Algorithm Mathematical logic Search algorithm Combinatorics LEMON Matching Algorithm Selection
30	Efficient Secure Computation Optimization Raphael Urmoneit Florian Kerschbaum Technische Universität Add to Reading List Source URL: www.fkerschbaum.org Language: English - Date: 2013-08-28 05:10:42 Complexity classes Theoretical computer science Computational resources Mathematical logic Computability theory Algorithm Recursion NP DSPACE FO Exponential time hypothesis Time complexity